Laurent Mauborgne: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

SAE Technical Paper Series [SAE International WCX™ 17: SAE World Congress Experience - (APR. 04, 2017)] SAE Technical Paper Series - Finding All Potential Run-Time Errors and Data Races in Automotive Software

Kaestner, Daniel, Miné, Antoine, Schmidt, André, Hille, Heinz, Mauborgne, Laurent, Wilhelm, Stephan, Rival, Xavier, Feret, Jérôme, Cousot, Patrick, Ferdinand, Christian

Year:

2017

Language:

english

File:

PDF, 1.04 MB

english, 2017

2

Infinitary relations and their representation

Laurent Mauborgne

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 254 KB

english, 2003

3

Abstract interpretation using typed decision graphs

Laurent Mauborgne

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.34 MB

english, 1998

4

Why doesAstréescale up?

Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 2.48 MB

english, 2009

5

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Bertrane, Julien, Cousot, Patrick, Cousot, Radhia, Feret, Jerome, Mauborgne, Laurent, Miné, Antoine, Rival, Xavier

Year:

2010

Language:

english

File:

PDF, 97 KB

english, 2010

6

Preface

Massé, Damien, Mauborgne, Laurent

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 105 KB

english, 2012

7

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Varieties of Static Analyzers: A Comparison with ASTREE

COUSOT, Patrick, COUSOT, Radhia, FERET, Jerome, MINE, Antoine, MAUBORGNE, Laurent, MONNIAUX, David, RIVAL, Xavier

Year:

2007

Language:

english

File:

PDF, 603 KB

english, 2007

8

Theories, solvers and static analysis by abstract interpretation

Cousot, Patrick, Cousot, Radhia, Mauborgne, Laurent

Journal:

Journal of the ACM

Year:

2012

Language:

english

File:

PDF, 456 KB

english, 2012

9

Static analysis by abstract interpretation of embedded critical software

Julien Bertrane, Julien, Cousot, Patrick, Cousot, Radhia, Feret, Jérôme, Mauborgne, Laurent, Miné, Antoine, Rival, Xavier

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2011

Language:

english

File:

PDF, 600 KB

english, 2011

10

The trace partitioning abstract domain

Rival, Xavier, Mauborgne, Laurent

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 552 KB

english, 2007

11

CacheAudit

Doychev, Goran, Köpf, Boris, Mauborgne, Laurent, Reineke, Jan

Journal:

ACM Transactions on Information and System Security

Year:

2015

Language:

english

File:

PDF, 852 KB

english, 2015

12

[ACM Press the ACM SIGPLAN 2003 conference - San Diego, California, USA (2003.06.09-2003.06.11)] Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03 - A static analyzer for large safety-critical software

Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jérome, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

13

A static analyzer for large safety-critical software

Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jérome, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

14

Sumatriptan inhibits the release of CGRP and substance P from the rat spinal cord

Arvieu, Laurent, Mauborgne, Annie, Bourgoin, Sylvie, Oliver, Charles, Feltz, Paul, Hamon, Michel, Cesselin, François

Journal:

Year:

1996

File:

PDF, 323 KB

1996

15

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Bertrane, Julien, Cousot, Patrick, Cousot, Radhia, Feret, Jérôme, Mauborgne, Laurent, Miné, Antoine, Rival, Xavier

Journal:

Foundations and Trends® in Programming Languages

Year:

2015

Language:

english

File:

PDF, 1.61 MB

english, 2015